hasloc($k$; $i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg_{b}$band(isrcv($k$); ($\neg_{b}$eq\_id(destination(lnk($k$)); $i$)))